1661. Theory of program structures
المؤلف: / By Sheila Greibach,Greibach
المکتبة: کتابخانه مرکزی و مرکز اسناد دانشگاه تهران (طهران)
موضوع: Electronic digital computers -- Programming,Recursive programming,Computer programs
رده :
QA
76
.
6
.
G743
1975
1662. Theory of program structures:Schemes, Semantics, Verification
المؤلف: Greinach, Sheila
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Programming ، Electronic digital computers,Recurlive programming,، Computer programs
رده :
QA
76
.
6
.
G743
1975
1663. Theory of program structures : schemes, semantics, verification
المؤلف: Greibach, Sheila
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Electronic digital computers-- Programming,، Recursive programming,، Computer programs
رده :
QA
76
.
6
.
G743
1975
1664. Title in Russian.
المؤلف: Kutsyk
المکتبة: کتابخانه مرکزی و مرکز اسناد دانشگاه تهران (طهران)
موضوع: Electronic digital computers -- Programming
رده :
QA
76
.
6
.
K876
1665. Top-down structured programming techniques
المؤلف: McGowan, Clement L.
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Electronic digital computers-- Programming
رده :
QA
76
.
6
.
M318
1975
1666. Topics in interval analysis
المؤلف: / edited by E. Hansen
المکتبة: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع: Interval analysis (Mathematics) - Congresses,Electronic digital computers - Programming - Congresses
رده :
QA297
.
S92
1968
1667. Tutorial on software design techniques
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Electronic digital computers-- Programming,، Programs
رده :
QA
76
.
6
.
T88
1980
1668. Tutorial on software design techniques: October 12, 1976, San Francisco, California
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Electronic digital computers-- Programming,، Computer programs
رده :
QA
76
.
6
.
T88
1669. Understanding programming: an introduction using C++
المؤلف: Cannon, Scott R.
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع: ، C++ )Computer program language(,، Electronic digital computers- Programming
رده :
QA
76
.
73
.
C153
C35
1670. Unix systems programming
المؤلف: / Keith Frank Haviland
المکتبة: مكتبات الكلية التقنية 1 بجامعة طهران (طهران)
موضوع: Unix (Computer operating system),Electronic digital computers programming
رده :
QA
76
.
73
.
O63H38
1987
1671. Use of digital computers for engineering applications
المؤلف: Haberman, Charles M
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Electronic data processing-- Engineering,، FORTRAN )Computer program language(,، Electronic digital computers-- Programming
رده :
TA
343
.
H3
1672. Use of files
المؤلف: Judd, Denis Onan
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Electronic data processing,، Electronic-- Digital computers-- Programming
رده :
QA
76
.
J83
1673. Using computers and application software
المؤلف: / Lon Ingalsbe
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Electronic digital computers,Microcomputers- Programming,Application software,Lotus 1-2-3 (Computer file),dBase III,dBase III plus (Computer file),WordPerfect (Computer file)
رده :
QA76
.
5
.
I443
1989
1674. Using formal description techniques
المؤلف: / edited by Kenneth J. Turner
المکتبة: مكتبات الكلية التقنية 1 بجامعة طهران (طهران)
موضوع: Electronic digital computers - Programming,Formal languages
رده :
QA
76
.
6
.
U848
1993
1675. Using formal description techniques : an introduction to Estelle, LOTOS, and SDL
المؤلف: edited by Kenneth J. Turner
المکتبة: (طهران)
موضوع: Electronic digital computers - Programming , Formal languages
رده :
QA
76
.
6
.
U848
1993
1676. Using the IBM 1130
المؤلف: Bork , Alfred M
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه الزهراء (س) (طهران)
موضوع: ، IBM 0311 ) Computer(,، Electronic digital computers- Programming,، FORTRAN )computer program language(
رده :
QA
.
76
.
8
.
I125
B61
1677. Virtual memory management
المؤلف: / by Richard William Carr
المکتبة: المكتبة المركزية بجامعة تبريز و مركز التوثيق والنشر (أذربایجان الشرقیة)
موضوع: Electronic digital computers - Programming,Virtual storage (Computer science)
رده :
QA76
.
6
.
C377
1678. WATFOR/WATFIV FORTRAN programming
المؤلف: Stuart, Fredric
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: ، FORTRAN )Computer program language(,Programming ، Electronic digital computers
رده :
QA
76
.
5
.
S82
1679. Watfor/watfiv fortran programming
المؤلف: STUART,FREDRIC
المکتبة: (طهران)
موضوع: FORTRAN )COMPUTER PROGRAM LANGUAGE( , ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING
رده :
QA
76
.
5
.
S82
1680. Word/information processing
المؤلف: / Lina Grace Baber
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Electronic data processing,Electronic digital computers,Programming language
رده :
QA76
.
25
.
B3
1984
